11

Contract-based System Design - The SPEEDS Approach

Year:
2008
Language:
english
File:
PDF, 1.10 MB
english, 2008
27

A logic for the specification and proof of regular controllable processes of CCS

Year:
1986
Language:
english
File:
PDF, 949 KB
english, 1986
33

Preface by the section editor

Year:
2003
Language:
english
File:
PDF, 84 KB
english, 2003
34

A real-time profile for UML

Year:
2006
Language:
english
File:
PDF, 981 KB
english, 2006
37

OMEGA: correct development of real time and embedded systems

Year:
2008
Language:
english
File:
PDF, 113 KB
english, 2008
41

Achieving distributed control through model checking

Year:
2012
Language:
english
File:
PDF, 684 KB
english, 2012